home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Tests / Passed / test45.pl < prev    next >
Encoding:
Text File  |  1989-04-14  |  271 b   |  15 lines
  1.  
  2. /* Copyright (C) 1988, 1989 Herve' Touati, Aquarius Project, UC Berkeley */
  3.  
  4. /* backtracking */
  5.  
  6. main :- a(X1), a(X2), a(X3), a(X4), 
  7.     a(X5), a(X6), a(X7), a(X9),
  8.     a(Xa), a(Xb), a(Xc), a(Xd),
  9.     a(Y1), a(Y2), a(Y3), a(Y4), 
  10.     fail.
  11. main :- write(ok), nl.
  12.  
  13. a(b).
  14. a(c(d,E)).
  15.